A Unified Diagnosability Evaluation Framework for Complex Systems

نویسندگان

  • Piero Baraldi
  • Ying Liu
  • Lijun Song
  • Shigang Zhang
  • Zheng Hu
چکیده

A unified diagnosability evaluation framework for complex systems is presented. In this framework, four elements are used to define the diagnosability evaluation problem: fault space, indication space, fault-indication relation, and metrics. In different stages of product life cycle, the information source for diagnosability analysis may be different. But the evaluation procedure, information integration method and relation models are similar and can be unified into a framework to provide guidelines for system design and analysis. This paper is focused on the extraction of the principle rules of diagnosability evaluation and the selection of information for analysis in different stages of system life cycle. Ambiguity analysis based evaluation measures are also proposed as a complement of previous works. Both system level evaluation and component level evaluation metrics are introduced.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Model-Based Framework for Stochastic Diagnosability

We propose a model-based framework to provide a clear semantics and well-developed algorithms for assessing the diagnosability of stochastic systems. This framework applies techniques originally developed for modelbased diagnosis. Our framework enables us to (1) assess the diagnosability of a system, (2) analyze which faults are diagnosable, (3) identify sensor suites necessary for achieving pr...

متن کامل

A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers

This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...

متن کامل

Diagnosability Analysis for Self-observed Distributed Discrete Event Systems

Diagnosability is a crucial property that determines at design stage how accurate any diagnosis algorithm can be on a partially observable system and thus has a significant impact on the performance and reliability of complex systems. Most existing approaches assumed that observable events in the system are globally observed. But sometimes it is not possible to obtain global information. Thus a...

متن کامل

A µ-Calculus Framework for the Diagnosability of Discrete Event Systems

Diagnosability is a procedure whose goal is to determine whether any failure – or a class of failures – can be determined in finite time after its occurrence. Earlier works on diagnosability of discrete event systems (DES) establish some intermediary models from the analyzed model and then call some procedures to check diagnosablity based on these models, while recent works try to give a diagno...

متن کامل

A polynomial algorithm for testing diagnosability of discrete-event systems

Failure diagnosis in large and complex systems is a critical task. In the realm of discrete event systems, Sampath et al. proposed a language based failure diagnosis approach. They introduced the diagnosability for discrete event systems and gave a method for testing the diagnosability by first constructing a diagnoser for the system. The complexity of this method of testing diagnosability is e...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013